(check (= (/ 8 2 2 2) 1))
